Using bzl logic, security, anonymity and tracing ability of the digital-cash is verified . the protocol proves strong by using the factual system and being verified by the bzl logic 通过在电子交易系统的实际应用和bzl逻辑的形式化验证,证明了提出的数字现金协议是一个强壮的协议。
The householder transformation have some advantages of anti ill function, stability, fewer calculation amount and good trace ability . in addition, in practice application high frequency interferer and data mutation are considerd, so the data acquired derectly are pre-disposed 辨识算法上,采用了基于householder变换的自适应最小二乘法,其具有抗方程病态性好,稳定性好,计算量小,跟踪性好等优点。